#ifndef SYSCALL_USER_H
#define SYSCALL_USER_H
#include <asm-i386/types.h>
extern uint32_t get_pid(void);
extern uint32_t write(char* str);
extern void *malloc(uint32_t size);
extern void free(void *addr);
#endif